Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - a case study F. Alberti1 , S. Ghilardi2 , E. Pagani2 , S. Ranise1 , and G.P. Rossi2 1

Source URL: users.mat.unimi.it

The Impact of Agricultural Extension and Roads on Poverty and Consumption Growth in Fifteen Ethiopian Villages: Response to William Bowser Stefan Dercon Daniel O. Gilligan John Hoddinott

Source URL: www.3ieimpact.org

• Computer storage
• Data synchronization
• Replication
• Sample size determination
• Statistical hypothesis testing
• Statistics
• Fault-tolerant computer systems
• Design of experiments

Proceedings of the ASME 28th International Conference on Ocean, Offshore and Arctic Engineering OMAE2009 May 31 - June 5, 2009, Honolulu, Hawaii OMAE2009FAULT DETECTION FOR SHIPBOARD MONITORING AND DECISION SUPPOR

Source URL: www.dcmt.dk

• Systems theory
• Fault detection and isolation
• Systems engineering
• Fault-tolerant design
• Science
• Fault
• Geology
• Control theory
• Digital electronics

NG911 ESINet Design Illinois of Technology Yuan Xue – Arun Shanmugam –

Source URL: voip.itm.iit.edu

• Server hardware
• Redundancy
• Risk
• Computing
• Security
• Virtual Router Redundancy Protocol
• Fault-tolerant computer systems
• Reliability engineering
• Server

NG911 ESINet Design Illinois of Technology Yuan Xue – Arun Shanmugam –

Source URL: rtc-lab.itm.iit.edu

• Server hardware
• Redundancy
• Risk
• Computing
• Security
• Virtual Router Redundancy Protocol
• Fault-tolerant computer systems
• Reliability engineering
• Server

High-level Analysis for Reconfiguration of a Fault Tolerant Mesh-based NoC Architecture Using Transaction Level Modeling Homa Alemzadeh1, Fatemeh Refan1, Paolo Prinetto2, Zainalabedin Navabi1 1 CAD Research Laboratory

Source URL: users.crhc.illinois.edu

• SystemC
• Transaction-level modeling
• Network switch
• Routing
• Fault-tolerant system
• Transmission Control Protocol
• Electronic engineering
• Electronic design automation
• Network On Chip

Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu

Source URL: www.dsm.fordham.edu

• State machine replication
• Replication
• Byzantine fault tolerance
• Network File System
• Consensus
• Transmission Control Protocol
• Communications protocol
• Ping
• Virtual synchrony
• Computing
• Fault-tolerant computer systems
• Data synchronization

Microsoft Word - TolerantToFaults.doc

Source URL: mcs.open.ac.uk

• Systems science
• Reliability engineering
• Fault-tolerant computer systems
• Control engineering
• Software fault tolerance
• Fault-tolerant design
• Fault-tolerant system
• Software design
• Error
• Software quality
• Systems engineering
• Computing

  Building on Quicksand Pat Helland Dave Campbell

Source URL: arxiv.org

• Information
• Replication
• Application checkpointing
• Fault-tolerant system
• Fault-tolerant design
• Backup
• Idempotence
• Algorithms for Recovery and Isolation Exploiting Semantics
• Parallel computing
• Computing
• Fault-tolerant computer systems
• Data management

The 6th International Workshop on System on Chip for Real Time Applications A generic Olivier

Source URL: ofaurax.free.fr

• Software quality
• Digital electronics
• Logic gates
• Fault injection
• Software testing
• Flip-flop
• Fault-tolerant system
• Fault-tolerant design
• VHDL
• Computing
• Geology
• Systems engineering